机译:基于BDD的安全关键离散事件系统故障安全监控控制器的综合
机译:安全系统的关键安全设计:关键安全程序需要全面的方法,必须结合使用专门的语言和工具,严格控制的测试以及使用正式方法
机译:实施关键基础设施的监督控制和数据采集系统
机译:关键系统监督控制中的安全性
机译:具有瞬态监控命令和控制的网络物理嵌入式系统:验证自动防撞系统中安全响应的框架
机译:促红细胞生成素预防危重病或围手术期患者急性肾脏损伤的功效和安全性:随机对照试验的系统评价和荟萃分析
机译:关键系统监督控制中的安全性